Rapido: Reasoning and Programming
ثبت نشده
چکیده
3 Scientific context, positioning and objectives 3 3.1 Introductory examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 3.2 Context of the proposal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 3.2.1 The Curry-Howard approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 3.2.2 Infinite objects in programming and logic . . . . . . . . . . . . . . . . . . . . . 7 3.3 State of the art . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
منابع مشابه
Rapido: A Sketching Tool for Web API Designers
Well-designed Web APIs must provide high levels of usability and must “get it right” on the first release. One strategy for accomplishing this feat is to identify usability issues early in the design process before a public release. Sketching is a useful way of improving the user experience early in the design phase. Designers can create many sketches and learn from them. The Rapido tool is des...
متن کاملRAPIDO: a web server for the alignment of protein structures in the presence of conformational changes
Rapid alignment of proteins in terms of domains (RAPIDO) is a web server for the 3D alignment of crystal structures of different protein molecules in the presence of conformational change. The structural alignment algorithm identifies groups of equivalent atoms whose interatomic distances are constant (within a defined tolerance) in the two structures being compared and considers these groups o...
متن کاملارایه مدل برنامه ریزی آرمانی جهت تخصیص منابع در بخش آموزشی، دانشگاهی وزارت بهداشت درمان و آموزش پزشکی
Background and purpose: Nowdays in almost all organizations, resources are allocated based on traditional methods, personal experiences and mental reasoning power. This causes some dissatisfaction among people and have no generalization ability and mathematical basis. The objective of this research was to propose a fuzzy goal programming model in resource allocation at the university-educa...
متن کاملINTEGRATING CASE-BASED REASONING, KNOWLEDGE-BASED APPROACH AND TSP ALGORITHM FOR MINIMUM TOUR FINDING
Imagine you have traveled to an unfamiliar city. Before you start your daily tour around the city, you need to know a good route. In Network Theory (NT), this is the traveling salesman problem (TSP). A dynamic programming algorithm is often used for solving this problem. However, when the road network of the city is very complicated and dense, which is usually the case, it will take too long fo...
متن کامل"Metodo rapido" for finding real quadratic fields of class-number 1.
The authors state and prove a rapid criterion to determine whether the class-number of certain real quadratic fields is 1.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015